1 Work It , Wrap It , Fix It , Fold It ( Extended
نویسنده
چکیده
The worker/wrapper transformation is a general-purpose technique for refactoring recursive programs to improve their performance. The two previous approaches to formalising the technique were based upon different recursion operators and different correctness conditions. In this article we show how these two approaches can be generalised in a uniform manner by combining their correctness conditions, extend the theory with new conditions that are both necessary and sufficient to ensure the correctness of the worker/wrapper technique, and explore the benefits that result. All the proofs have been mechanically verified using the Agda system.
منابع مشابه
Work It , Wrap It , Fix It , Fold It ( Extended
The worker/wrapper transformation is a general-purpose technique for refactoring recursive programs to improve their performance. The two previous approaches to formalising the technique were based upon different recursion operators and different correctness conditions. In this article we show how these two approaches can be generalised in a uniform manner by combining their correctness conditi...
متن کامل0 Work It , Wrap It , Fix It , Fold It
The worker/wrapper transformation is a general-purpose technique for refactoring recursive programs to improve their performance, without compromising their correctness. The two previous approaches to formalising the technique were based upon different recursion operators, and different correctness conditions. In this article we show how these two approaches can be generalised in a uniform mann...
متن کاملWork it, wrap it, fix it, fold it
The worker/wrapper transformation is a general-purpose technique for refactoring recursive programs to improve their performance. The two previous approaches to formalising the technique were based upon different recursion operators and different correctness conditions. In this paper we show how these two approaches can be generalised in a uniform manner by combining their correctness condition...
متن کاملAxial Compressive Strength of Reinforced Concrete Columns Wrapped with Fiber Reinforced Polymers (FRP)
This paper presents the results of a study on the axial compressive strength of columnsstrengthened with FRP wrap. The experimental part of the study included testing 6 reinforcedconcrete columns in two series. The first series comprised three similar circular reinforced concretecolumns strengthened with FRP wrap. The second series consisted of three similar square columns,two with sharp corner...
متن کاملA randomised comparison of three different immobilisation devices for thoracic and abdominal cancers
INTRODUCTION Patient immobilisation is critically important for both highly conformal conventionally fractionated radiotherapy and for stereotactic body radiotherapy. Different immobilisation devices are available to maintain patient position for radiotherapy but the most suitable one remains unknown. METHODS Forty-five patients were randomly allocated to one of three immobilisation devices; ...
متن کامل